Web-Based Semantic Similarity: An Evaluation in the Biomedical Domain

Computation of semantic similarity between concepts is a very common problem in many language related tasks and knowledge domains. In the biomedical field, several approaches have been developed to deal with this issue by exploiting the structured knowledge available in domain ontologies (such as SNOMED-CT or MeSH) and specific, closed and reliable corpora (such as clinical data). However, in recent years, the enormous growth of the Web has motivated researchers to start using it as the corpus to assist semantic analysis of language. This paper proposes and evaluates the use of the Web as background corpus for measuring the similarity of biomedical concepts. Several ontology-based similarity measures have been studied and tested, using a benchmark composed by biomedical terms, comparing the results obtained when applying them to the Web against approaches in which specific clinical data were used. Results show that the similarity values obtained from the Web for ontology-based measures are at least and even more reliable than those obtained from specific clinical data, showing the suitability of the Web as information corpus for the biomedical domain.     

模糊粗糙逻辑语义及其推理

主要从粗糙集、模糊集、逻辑学等三个方面来定义模糊粗糙逻辑的概念,给出了带逻辑符号＂┑,∧,∨,→,＂的模糊粗糙逻辑的真值区间的运算。并分别从＂→,┑,∧,∨＂四个逻辑运算符研究了模糊粗糙逻辑的语义推理。     

基于HLA的复杂产品协同设计中数据一致性

通过分析复杂产品协同设计的特点和高层体系结构(high level architecture,简称HLA)在工程设计领域中的应用,构建了一种基于HLA的联邦式协同设计系统体系结构,阐述了系统中各平台的组成和功能.为确保协同设计过程中联邦成员收发数据的一致性,提出了各平台中联邦成员的时间管理策略,给出了系统整体时间推进的方法和过程.在时间管理策略的基础上,通过采用设置内部和外部事件逻辑计数器方法和基于仲裁的锁定机制,实现了系统运行过程中设计邦员动态注册的初始一致性.     

《汉语大词典》补正

《汉语大词典》是当今规模最大、收词最为丰赡的大型语文辞书,但由于编写时种种条件的限制和多种因素的影响,尚存在种种缺失。本文根据佛经语料在汉语词汇研究和辞书编纂中的作用,对照《汉语大词典》的实际情况,用实例说明《汉语大词典》未能充分利用佛经语料而导致的“词语失收”、“义项缺失”、“书证过晚”三个方面的缺失,以引起人们对佛经语料的重视。     

基于活动序列的服务二元行为模式及操作语义

组合E-服务是电子商务开发部署中被广泛关注的问题,行为需求的刻画、建模是服务设计开发的重要步骤,分析和验证服务行为满足用户特定需求则是保证服务可信的关键工作.已有分析服务行为研究中,行为需求都是LTL类逻辑规范或MSC类图式规范,前者基于活动的,后者基于场景的.现在提出一种新颖的基于活动序列的行为规范概念,该概念的粒度介于活动和场景概念之间,目的是便于直接表达某些行为需求,针对活动序列设计了"序列前提、序列因果和序列嵌入"二元行为模式,用模式来刻画基于活动序列的活性和安全性,其结果是行为需求表达更为简洁,将这些模式映射标记传递系统LTS,精确刻画了行为模式的操作语义,为需求验证提供基础,最后给出实例分析.     

构件式体系结构模型转换的语义一致性

基于软件体系结构模型的形式化描述,从结构语义、公理语义和行为语义等几个方面分析了模型转换中特性保持问题的描述,并建立了相应的判定标准,同时探讨了证明一个转换是否满足某些特性保持约束的方法。这些方法支持以定理证明的方式,对模型转换的语义特性保持进行验证,克服了模型检测的不足。该研究可用于指导模型转换规则的定义和模型映射关系的正确性的验证。     

保持空间准确度与时间一致性的深度估计算法

为提高深度图的准确度,提出了一种基于图割的深度估计算法. 利用平均亮度 梯度联合匹配测度函数代替单像素亮度匹配,并考虑邻近像素深度相关性改变图割网络结构,提高深度估计的空间准确度;采用前一时刻同位置像素的深度约束当前时刻像素的深度值,使估计的深度图在时间上保持一致. 提出的算法考虑了深度图的空间、时间特征,可以提高深度图的准确度. 实验结果表明,与传统的基于图割的深度估计算法相比,新算法估计的深度图更加准确.     

张家口地区电子文献传递系统(EDDS)的开发研究

随着人们对信息资源的需求及文献传递工作的重视,文献传递的服务模式及发展趋势逐渐成为社会所关注的问题.本课题通过分布式文献传递的服务模式,利用完备的网络搜索系统模型,构建张家口地区高校图书馆之间的电子文献传递桥梁.     

基于WordNet的无导词义消歧方法

有导词义消歧机器学习方法由于需要大量人力进行词义标注,难以适用于大规模词义消歧任务.提出一种避免人工词义标注的无导消歧方法.该方法综合利用WordNet知识库中的多种知识源（包括：词义定义描述、使用实例、结构化语义关系、领域属性等）描述歧义词的词义信息,生成词义的“代表词汇集”和“领域代表词汇集”,结合词汇的词频分布信息和所处的上下文环境进行词义判定.利用通用测试集Senseval 3对6个典型的无导词义消歧方法进行开放实验,该方法取得平均正确率为49.93％的消歧结果.     

混合误差下半变系数模型的相合估计

讨论了误差序列是混合序列的变系数模型。给出变系数模型系数函数的局部多项式估计,并证明了该模型系数函数估计是弱相合估计。